On Triangular Norm-Based Propositional Fuzzy Logics
نویسندگان
چکیده
Fuzzy logics based on triangular norms and their corresponding conorms are investigated. An aarmative answer to the question whether in such logics a speciic level of satissability of a set of formulas can be characterized by the same level of satissability of its nite subsets is given. Tautologies, contradictions and contingencies with respect to such fuzzy logics are studied, in particular for the important cases of min-max and Lukasiewicz logics. Finally, fundamental t-norm-based fuzzy logics are shown to provide a gradual transition between min-max and Lukasiewicz logics.
منابع مشابه
Propositional fuzzy logics based on Frankt - norms : A comparisonErich
Among various approaches to fuzzy logics, we have chosen two of them, which are built up in a similar way. Although starting from diierent basic logical connectives, they both use interpretations based on Frank t-norms. Diierent interpretations of the implication lead to diierent axiomatizations, but most logics studied here are complete. We compare the properties, advantages and disadvantages ...
متن کامل10 Triangular norm-based mathematical fuzzy logics
In this chapter, we consider particular classes of infinite-valued propositional logics which are strongly related to t-norms as conjunction connectives and to the real unit interval as set of their truth degrees, and which have their implication connectives determined via an adjointness condition. Such systems have in the last ten years been of considerable interest, and the topic of important...
متن کاملT-norm-based logics with an independent involutive negation
In this paper we investigate the addition of arbitrary independent involutive negations to t-norm based logics. We deal with several extensions of MTL and establish general completeness results. Indeed, we will show that, given any t-norm based logic satisfying some basic properties, its extension by means of an involutive negation preserves algebraic and (finite) strong standard completeness. ...
متن کاملTriangular norm based predicate fuzzy logics
5 The paper surveys the present state of knowledge on t-norm based predicate fuzzy logics with their double semantics: standard (the set of truth values being the real interval [0,1]) and general with abstract algebras of truth functions. 7 © 2009 Published by Elsevier B.V.
متن کاملAlgebraic study of axiomatic extensions of triangular norm based fuzzy logics
xiii Acknowledgements / Agräıments xv
متن کامل